// LANGUAGE_VERSION: 1.6
// EXTRACTION_TARGET: property with initializer
val a = 1

fun foo(): Boolean {
    return <selection>1 == 1</selection>
}

// IGNORE_K2